type foo 'a <- ( * ) int 'a

class x 'a begin end
instance x foo begin end
